Formal techniques in real-time and fault-tolerant systems - proceedings
- Författare
- (Second International symposium, Nijmegen, the Netherlands, January 8-10, 1992 J. Vytopil (ed.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1991 | Tyskland, Berlin, New York | ix, 620 sidor. ill. | |
| Springer-Vlg | cop. 1988 | Tyskland, Berlin, New York | vi, 229 sidor. ill. |